"Dines Bjorner" скачать бесплатно. Электронная библиотека. Поиск книг BookSee

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays (Lecture Notes in Computer Science)

Cliff B. Jones, Zhiming Liu, Jim Woodcock

7.82 Mb

#2

Software Engineering 1: Abstraction and Modelling (Texts in Theoretical Computer Science. An EATCS Series) (v. 1)

Категория: Компьютеры

10.37 Mb

#3

Software Engineering 2: Specification of Systems and Languages (Texts in Theoretical Computer Science. An EATCS Series)

Категория: Компьютеры

39.85 Mb

#4

Logics of Specification Languages (Monographs in Theoretical Computer Science. An EATCS Series)

Dines Bjorner, Martin C. Henson

5.36 Mb

#5

Formal Methods and Hybrid Real-Time Systems: Essays in Honour of Dines Bjorner and Zhou Chaochen on the Occasion of Their 70th Birthdays

Cliff B. Jones, Zhiming Liu, Jim Woodcock

5.37 Mb

#6

Baltic Computer Science

Janis Barzdins, Dines Bjorner

Категория: Cs_Computer science, CsLn_Lecture notes

4.05 Mb

#7

Elements of Microcomputer Interfacing

Dines Bjorner, C.A.R. Hoare, Hans Langmaack

4.14 Mb

#8

Formal Methods in Programming and Their Applications: International Conference, Academgorodok, Novosibirsk, Russia, June 28 - July 2, 1993. Proceedings

Dines Bjorner, Manfred Broy, Igor V. Pottosin

3.88 Mb

#9

Perspectives of System Informatics: Second International Andrei Ershov Memorial Conference, Akademgorodok, Novosibirsk, Russia, June 25 - 28, 1996; Proceedings

Dines Bjorner, Manfred Broy, Igor V. Pottosin

3.86 Mb

#10

Perspectives of System Informatics: Third International Andrei Ershov Memorial Conference, PSI'99, Akademgorodok, Novosibirsk, Russia, July 6-9, 1999 ...

Dines Bjorner, Manfred Broy, Alexandre V. Zamulin

9.42 Mb

#11

Perspectives of System Informatics: 4th International Andrei Ershov Memorial Conference, PSI 2001, Akademgorodok, Novosibirsk, Russia, July 2-6, 2001, ... Papers

Dines Bjorner, Manfred Broy, Alexandre Zamulin

5.59 Mb